au.\*:("SAZONOV V YU")
Results 1 to 2 of 2
Selection :
ON EXISTENCE OF COMPLETE PREDICATE CALCULUS IN METAMATHEMATICS WITHOUT EXPONENTIATIONSAZONOV V YU.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 118; PP. 483-490; BIBL. 4 REF.Conference Paper
Hereditarily-finite sets, data bases and polynomial-time computabilitySAZONOV, V. YU.Theoretical computer science. 1993, Vol 119, Num 1, pp 187-214, issn 0304-3975Conference Paper